退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于规范和改进移动系统的时空逻辑
Stephan Merz; Martin Wirsing; Julia Zappe;
机译:在MTLA和移动设备中规范和完善移动系统
机译:协作嵌入式系统的策略逻辑使用策略逻辑对协作嵌入式系统进行规范和验证
机译:通信过程的规范:时间逻辑与基于拒绝的改进
机译:规范和完善移动系统的时空逻辑
机译:用于验证和控制网络系统的时空逻辑
机译:在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
机译:MTLA和移动UML中移动系统的规范和完善
机译:论规范的细化与霍尔的逻辑
机译:结果解释框架和PLC逻辑验证规范的指导性完善
机译:用于个人计算机的电子模块化系统,具有配置为ASIC类型的逻辑组件,以参数化标准总线系统的电气和逻辑特性,或保持所选系统的电气和逻辑规范
机译:高阶逻辑应用于专家系统以进行警报分析,过滤,关联和根本原因,从而将规范证明转换为程序语言
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。